Reasoning system - PDFSEARCH.IO - Document Search Engine

Reasoning system
Results: 468

#	Item
21	Schedule QR2010 v3 kdf.xlsx Add to Reading List Source URL: www.qrg.northwestern.edu Language: English Cognitive science Reasoning Cognition Ken Forbus American psychologists Qualitative reasoning Dedre Gentner Gentner Ivan Bratko System Qualitative Reasoning Group
22	CARTOGRAPHIC GENERALIZATION IN A DIGITAL ENVIRONMENT: WHEN AND How To GENERALIZE K. Stuart Shea The Analytic Sciences Corporation (TASCSunset Hills Road Reston, Virginia 22090 Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:41:41 Cartography Geographic information systems Cartographic generalization Communication design Graphic design Inductive reasoning Generalization Visual arts Software engineering Topological map HindleyMilner type system Topography
23	Microsoft Word - IBSS&K Engineering.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:46:08 Computing Software engineering Software Inductive reasoning Reasoning Object-oriented programming Case-based reasoning Critical thinking Artificial intelligence Reasoning system Comic book archive CBR
24	Primary Claim Claim #3 - Communicating Reasoning Students can clearly & precisely construct viable arguments to support their own reasoning & to critique the reasoning of others. Secondary Claim Claim #1 – Concepts and Add to Reading List Source URL: www.cmc-south.org Language: English - Date: 2015-02-21 22:21:19 Mathematics Elementary algebra Algebra Equations Linear equation Nonlinear system Linear function Matrix Inequality Laplace transform Linearity Signal-flow graph
25	Maps and Spatial Reasoning: GEOGW12 This class surveys the properties of maps, emphasizing map use, spatial thinking, and interpretation. Lecture topics include map abstraction, generalization, map projections, and symbo Add to Reading List Source URL: www.uconline.edu Language: English - Date: 2016-02-10 12:26:54 Cartography Geodesy Geomatics Web mapping Geographic information system Map Geography Modularity Module Thematic map Topographic map
26	� A SPATIAL-OBJECT LEVEL ORGANIZATION OF TRANSFORMATIONS FOR CARTOGRAPHIC GENERALIZATION Robert McMaster Leone Barnett Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 21:54:20 Cartography Mathematics Graphic design Cognition Communication design Generalization Inductive reasoning Thought Data model Cartographic generalization Geographic information system Euclidean vector
27	The Integration and Interaction of Multiple Mathematical Reasoning Processes: A Platform Grant Proposal. Case for Support Alan Bundy Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2005-03-23 10:49:26 Automated theorem proving Logic Cognitive science Theoretical computer science Reasoning Artificial intelligence Research councils Automated reasoning Alan Bundy Reasoning system Isabelle Mathematical proof
28	CADE-18 Workshop: Problems and Problem Sets Contents: John Harrison Invited talk: Extracting Test Problems from Real Applications J Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2002-06-13 14:56:18 Automated theorem proving Theoretical computer science Mathematical logic Software engineering TPTP Automated reasoning SPASS Reasoning system Prolog Model elimination OMDoc System on TPTP
29	ARTIFICIAL INTELLIGENCE: ENGINEERING, SCIENCE, OR SLOGAN? Nils J. Nilsson Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2004-05-14 18:27:16 Artificial intelligence Knowledge representation and reasoning Philosophy of artificial intelligence Commonsense reasoning Expert system John McCarthy Applications of artificial intelligence Artificial general intelligence AI winter
30	Simulation Validation for Societal Systems Alex Yahja September 2006 CMU-ISRISchool of Computer Science Add to Reading List Source URL: www.casos.cs.cmu.edu Language: English - Date: 2008-11-17 12:47:36 Simulation Information science Knowledge engineering Semantic Web Technical communication Agent-based model Scientific modelling Ontology Logic simulation Cyc Reasoning system Conceptual model